Machine-checking the timed interval calculusDAWSON, Jeremy E; GORE, Rajeev.Lecture notes in computer science. 2002, pp 95-106, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

FUZZY LOGIC KNOWLEDGE BASES AND AUTOMATED FUZZY REASONINGBALDWIN JF.1981; APPLIED SYSTEMS AND CYBERNETICS. INTERNATIONAL CONGRESS ON APPLIED SYSTEMS RESEARCH AND CYBERNETICS/1980/ACAPULCO; USA/GBR/FRA; NEW YORK; OXFORD; PARIS: PERGAMON PRESS; DA. 1981; PP. 2859-2865; BIBL. 19 REF.Conference Paper

Automated reasoning about metric and topologyHUSTADT, Ullrich; TISHKOVSKY, Dmitry; WOLTER, Frank et al.Lecture notes in computer science. 2006, pp 490-493, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Comparing instance generation methods for automated reasoningJACOBS, Swen; WALDMANN, Uwe.Lecture notes in computer science. 2005, pp 153-168, issn 0302-9743, isbn 3-540-28931-3, 16 p.Conference Paper

Automated reasoning tools for molecular biologyFAGES, Francois.Lecture notes in computer science. 2004, pp 1-2, issn 0302-9743, isbn 3-540-23166-8, 2 p.Conference Paper

The ICS decision procedures for embedded deductionDE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 218-222, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Rationality of division orderings = Rationalité des ordres de divisionCOHEN, D. A; SCOTT, E. A.Information processing letters. 1992, Vol 44, Num 6, pp 307-311, issn 0020-0190Article

Automated reasoning and exhaustive search: quasigroup existence problemsSLANEY, J; FUJITA, M; STICKEL, M et al.Computers & mathematics with applications (1987). 1995, Vol 29, Num 2, pp 115-132, issn 0898-1221Article

Formalizing undefinedness arising in calculusFARMER, William M.Lecture notes in computer science. 2004, pp 475-489, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

The resonance strategyWOS, L.Computers & mathematics with applications (1987). 1995, Vol 29, Num 2, pp 133-178, issn 0898-1221Article

Automated reasoning (Cork, 4-8 July 2004)Basin, David; Rusinowitch, Michael.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22345-2, XII, 491 p, isbn 3-540-22345-2Conference Proceedings

The CADE ATP system competitionSUTCLIFFE, Geoff; SUTTNER, Christian.Lecture notes in computer science. 2004, pp 490-491, issn 0302-9743, isbn 3-540-22345-2, 2 p.Conference Paper

Reasoning about iteration in Gödel's class theoryGIJSBERTUS, Johan; BELINFANTE, Frederik.Lecture notes in computer science. 2003, pp 228-242, issn 0302-9743, isbn 3-540-40559-3, 15 p.Conference Paper

Enabling intelligent organizations : An electronic institutions approach for controlling and executing problem solving methodsROBLES P, Armando; PABLO NORIEGA, B. V; CANTU, Francisco et al.Lecture notes in computer science. 2005, pp 275-286, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 12 p.Conference Paper

The chisholm paradox and the situation calculusDEMOLOMBE, Robert; POZOS-PARRA, Pilar.Lecture notes in computer science. 2005, pp 425-434, issn 0302-9743, isbn 3-540-25878-7, 10 p.Conference Paper

TeMP: A temporal monodic proverHUSTADT, Ullrich; KONEV, Boris; RIAZANOV, Alexandre et al.Lecture notes in computer science. 2004, pp 326-330, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Specification of adleman's restricted model using an automated reasoning system: Verification of Lipton's experimentGRACIANI DIAZ, C; MARTIN MATEOS, F. J; PEREZ JIMENEZ, Mario J et al.Lecture notes in computer science. 2002, pp 126-136, issn 0302-9743, isbn 3-540-44311-8, 11 p.Conference Paper

AI*IA 2001 : advances in artificial intelligence (Bari, 25-28 Septmber 2001)Esposito, Floriana.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42601-9, XII, 396 p, isbn 3-540-42601-9Conference Proceedings

La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant = The Cooperative Oral Communication: Contribution to the Logical Modelisation and the Implementation of a Dialoguing Rational AgentBretier, Philippe; Kayser, D.1995, 206 p.Thesis

Non-Markovian control in the Situation CalculusGABALDON, Alfredo.Artificial intelligence (General ed.). 2011, Vol 175, Num 1, pp 25-48, issn 0004-3702, 24 p.Article

Foundational challenges in automated semantic web data and ontology cleaningALONSO-JIMENEZ, José A; BORREGO-DIAZ, Joaquin; CHAVEZ-GONZALEZ, Antonia M et al.IEEE intelligent systems. 2006, Vol 21, Num 1, pp 42-52, issn 1541-1672, 11 p.Article

Counter-model search in Gödel-Dummett logicsLARCHEY-WENDLING, Dominique.Lecture notes in computer science. 2004, pp 274-288, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

A formal method toward reasoning about continuous changeCHUNPING LI.Lecture notes in computer science. 2004, pp 1174-1180, issn 0302-9743, isbn 3-540-24059-4, 7 p.Conference Paper

Experiments with an agent-oriented reasoning systemBENZMÜLLER, Christoph; JAMNIK, Mateja; KERBER, Manfred et al.Lecture notes in computer science. 2001, pp 409-424, issn 0302-9743, isbn 3-540-42612-4Conference Paper

Property persistence in the situation calculusKELLY, Ryan F; PEARCE, Adrian R.Artificial intelligence (General ed.). 2010, Vol 174, Num 12-13, pp 865-888, issn 0004-3702, 24 p.Article